1. A short introduction to intuitionistic logi
پدیدآورنده: / Grigori Mints
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.
رده :
QA
,
9
.
47
,.
M56
,
2000eb
2. A short introduction to intuitionistic logic
پدیدآورنده: / Grigori Mints
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
3. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده: P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
4. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
5. Logic Colloquium '96
پدیدآورنده: / J.M. Larrazabal, D. Lascar, G. Mints, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1996
BC
,
135
,.
L634
,
1996
6. Logic colloquium'96 : proceedings of the colloquium held in San Sebastian, Spain, July 9-15, 1996
پدیدآورنده: J. M. Larrazabal, D. Lascar, G. Mints )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
12
7. Selected papers in proof theory
پدیدآورنده: Mints, G E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
M56
1992
8. Selected papers in proof theory
پدیدآورنده: Mints, G. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
M56
1992
